Issue461.agda:5,6-13
Multiple definitions of D. Previous definition at
Issue461.agda:4,6-7
when scope checking the declaration
  data D : Set
